代数曲面的几何连续过渡及其应用

本文对代数曲面的几何连续拼接作了研究，给出了多个代数曲面的几何连续过渡方法，同时给出了一种基于分片的曲面过渡方法。     

关于不确定的对称组合系统的稳定化控制器与观测器的设计

本文研究了不确定的对称组合系统的稳定化控制器与观测器的设计问题，给出一种设计稳定化控制器与观测器的方法，在这种设计方法中，使给定的带有不确定性的对称组合系统稳定的状态反馈增益矩阵和观测器增益矩阵可由低阶代数Ｒｉｃｃａｔｉ方程的解导出。     

离散事件动态系统的代数模型及其控制器的分析计算

本文在离散事件动态系统的Ｐｅｔｒｉ网图形描述的基础上建立了相应的代数模型，该模型可以用来计算无竞争无回路Ｐｅｔｒｉ网的“最大状态”；该“最大状态”的计算在本文给出的动态反馈控制器中得到了应用。     

人睫状神经营养因子基因克隆、表达、纯化及其生物活性

［摘 要］目的 克隆人睫状神经营养因子（hCNTF）基因，在大肠杆菌宿主系统中高效表达并纯化，获得具有生物活性的hCNTF蛋白。方法 以人染色体DNA为模板，经PCR扩增到编码CNTF成熟蛋白的cDNA序列，并克隆进原核表达载体 pBV220，在大肠杆菌 BL21（Gold）中进行表达，产物经 CM-Sepharose FF柱纯化后，以体外培养的鸡胚背根神经节（DRG）测定生物活性。结果 重组表达质粒pBV22Z- CNTF在大肠杆菌BL21（Gold）中获得了非融合的稳定、高效表达，目的蛋白占细胞总蛋白的45％左右，以可溶性和包涵体两种形式存在，表达上清及包涵体复性后经CM柱一步纯化纯度达90％以上；表达的重组hCNTF能促进培养的鸡胚背根神经节神经突起的生长。结论 基因工程rhCNTF的获得为进一步研究其结构功能关系和临床应用奠定基础。     

正交曲线坐标下三维代数应力通量模型

针对弯曲及不规则明渠的水动力及物质输运特性，本文建立了曲线坐标系下的三维代数应力通量数学模型，对平面上弯曲及不规则复杂边界情形，采用Poisson方程进行正交曲线坐标变换，各向异性的湍流代数应力通量模型被引用于本文的模拟计算中，以体现复杂边界条件引起的水动力及物质输运特性的变化。通过180度强弯曲明渠水槽及贵溪电厂不规则边界河段物理模型试验两个实例计算表明，实测值与计算吻合良好，效果令人满意。     

Hydrogenases, accessory genes and the regulation of [NiFe] hydrogenase biosynthesis in Thiocapsa roseopersicina

The purple (Sulphur) phototrophic bacterium, Thiocapsa roseopersicina BBS contains several [NiFe] hydrogenases, of which two are membrane bound. Mutant T. roseopersicina cells, carrying deletions in both gene clusters showed hydrogenase activity. This activity was located in the cytoplasm. The structural gene cluster hoxEFUYH was identified and sequenced. In addition, genes homologous to hupUV/hoxBC, the hydrogen sensing hydrogenase have been identified and sequenced.Regulation of hydrogenase biosynthesis was studied in detail for HydSL (renamed HynSL). A random mutagenesis system was optimised for T. roseopersicina. One of the mutations was in a gene similar to that coding for the HypF proteins in other organisms. Inactivation of the hypF gene resulted in a 60-fold increase in hydrogen evolution under nitrogen fixing conditions. In addition to hypF, the following accessory genes were identified: hydD, hupK, hypC1, hypC2, hypDE. Characterisation of the corresponding gene products and search for additional accessory genes are in progress.     

TIC: A timed calculus

TIC is a timed algebraic calculus which combines ideas from asynchronous and synchronous calculi. Time is introduced by assigning explicit time restrictions to the events of an asynchronous calculus. The semantics is defined in an operational way. Interleaving of behaviours is defined in such a way that a proper merge of events in time is achieved. Weak timed bisimulation is also defined. Examples are presented to show the applicability of the calculus to the study of timed behaviours.This work was partially supported by CICYT under the TIC program (MEDAS project)     

冲积性河流横断面形态调整研究方法及应用分析

总结了中外学者对冲积性河流横断面形态调整规律研究的现状,从研究方法上对其进行归纳和分析。内容涉及到经验公式、终极假说和力学理论分析等相关领域,分析了横断面形态与水沙及河床边界条件的相关关系。并对渭河下游河道的横断面情况作了简要分析,建立了主槽河宽与水沙及河床前期边界条件的相关关系。最后总结了三种方法的特点,并对以后研究工作提出建议。     

Efficient preconditioners for boundary element matrices based on grey‐box algebraic multigrid methods

This paper is concerned with the iterative solution of the boundary element equations arising from standard Galerkin boundary element discretizations of first‐kind boundary integral operators of positive and negative order. We construct efficient preconditioners on the basis of so‐called grey‐box algebraic multigrid methods that are well adapted to the treatment of boundary element matrices. In particular, the coarsening is based on an auxiliary matrix that represents the underlying topology in a certain sense. This auxiliary matrix is additionally used for the construction of the smoothers and the transfer operators. Finally, we present the results of some numerical studies that show the efficiency of the proposed algebraic multigrid preconditioners. Copyright © 2003 John Wiley & Sons, Ltd.     

圈量子引力中的基底变换

给出了自旋网表象中的两个4价基底，证明了它们之间的变换属酉变换。用重耦理论的图式计算法，推出了体积算符对基底作用的重耦矩阵的表式，并利用体积算符的本征值得到空间量子化的结果。